Hennicker, Rolf: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Semantics of OCL Operation Specifications

Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 349 KB

english, 2004

2

Connecting open systems of communicating finite state machines

Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 770 KB

english, 2019

3

Connecting open systems of communicating finite state machines

Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 770 KB

2019

4

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || Formal Modelling for Cooking Assistance

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

File:

PDF, 607 KB

2015

5

Context induction: A proof principle for behavioural abstractions and algebraic implementations

Journal:

Formal Aspects of Computing

Year:

1991

Language:

english

File:

PDF, 1.21 MB

english, 1991

6

Modular correctness proofs of behavioural implementations

Michel Bidoit, Rolf Hennicker

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 345 KB

english, 1998

7

Behaviour Protocols for Interacting Stateful Components

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 380 KB

english, 2010

8

DANUBIA: AN INTEGRATIVE SIMULATION SYSTEM FOR GLOBAL CHANGE RESEARCH IN THE UPPER DANUBE BASIN

BARTH, MICHAEL, HENNICKER, ROLF, KRAUS, ANDREAS, LUDWIG, MATTHIAS

Journal:

Cybernetics & Systems

Year:

2004

Language:

english

File:

PDF, 2.41 MB

english, 2004

9

Observational logic, constructor-based logic, and their duality

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 406 KB

english, 2003

10

[IEEE 2014 23rd Australian Software Engineering Conference (ASWEC) - Milsons Point, NSW, Australia (2014.4.7-2014.4.10)] 2014 23rd Australian Software Engineering Conference - Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework

Klarl, Annabelle, Hennicker, Rolf

Year:

2014

Language:

english

File:

PDF, 378 KB

english, 2014

11

[IEEE 2013 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW) - Philadelphia, PA, USA (2013.09.9-2013.09.13)] 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops - The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing

Mayer, Philip, Klarl, Annabelle, Hennicker, Rolf, Puviani, Mariachiara, Tiezzi, Francesco, Pugliese, Rosario, Keznikl, Jaroslav, Bure, Toma

Year:

2013

Language:

english

File:

PDF, 323 KB

english, 2013

12

Moving from interface theories to assembly theories

Hennicker, Rolf, Knapp, Alexander

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 874 KB

english, 2015

13

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || Formal Analysis of Leader Election in MANETs Using Real-Time Maude

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 657 KB

english, 2015

14

A meta-theory for component interfaces with contracts on ports

Bauer, Sebastian, Hennicker, Rolf, Legay, Axel

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

15

Behavioural theories and the proof of behavioural properties

Michel Bidoit, Rolf Hennicker

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 3.83 MB

english, 1996

16

(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications

Rolf Hennicker, Alexander Kurz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 204 KB

english, 1999

17

Observational implementation of algebraic specifications

Journal:

Acta Informatica

Year:

1991

Language:

english

File:

PDF, 2.47 MB

english, 1991

18

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 ||

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 19.79 MB

english, 2015

19

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 2755 || Monad-Independent Dynamic Logic in HasCasl

Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf

Year:

2003

File:

PDF, 217 KB

2003

20

A Component Model for Architectural Programming

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 453 KB

english, 2006

21

Behavioural and abstractor specifications

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 2.69 MB

english, 1995

22

Folgen des Globalen Wandels für das Grundwasser in Süddeutschland – Teil 1: Naturräumliche Aspekte

Roland Barthel, Tim G. Reichenau, Markus Muerth, Christoph Heinzeller, Karl Schneider, Rolf Hennicker, Wolfram Mauser

Journal:

Year:

2011

Language:

german

File:

PDF, 4.18 MB

german, 2011

23

Folgen des Globalen Wandels für das Grundwasser in Süddeutschland – Teil 2: Sozioökonomische Aspekte

Roland Barthel, Tatjana Krimly, Michael Elbers, Anja Soboll, Johann Wackerbauer, Rolf Hennicker, Stephan Janisch, Tim G. Reichenau, Stephan Dabbert, Jürgen Schmude, Andreas Ernst, Wolfram Mauser

Journal:

Year:

2011

File:

PDF, 1.31 MB

2011

24

A logic for the stepwise development of reactive systems

Madeira, Alexandre, Barbosa, Luís S., Hennicker, Rolf, Martins, Manuel A.

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

25

On institutions for modular coalgebraic specifications

Alexander Kurz, Rolf Hennicker

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 295 KB

english, 2002

26

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 2755 || AGILE: Software Architecture for Mobility

Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf

Year:

2003

Language:

english

File:

PDF, 529 KB

english, 2003

27

Refinement in hybridised institutions

Madeira, Alexandre, Martins, Manuel A., Barbosa, Luís S., Hennicker, Rolf

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 704 KB

english, 2015

28

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || A Homage to Martin Wirsing

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 148 KB

english, 2015

29

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || The KnowLang Approach to Self-adaptation

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

30

On the Observable Behaviour of Composite Components

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 696 KB

english, 2010

31

Interface theories for concurrency and data

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 717 KB

english, 2011

32

A semi-algorithm for algebraic implementation proofs

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 2.42 MB

english, 1992

33

Behavioural and abstractor specifications revisited

Hennicker, Rolf, Madeira, Alexandre, Wirsing, Martin

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 737 KB

english, 2018

34

Constructor-based observational logic

Michel Bidoit, Rolf Hennicker

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 452 KB

english, 2006

35

Storage and management of formal specifications for reuse

Chen, Patrick Shicheng, Hennicker, Rolf, Jarke, Matthias

Journal:

Journal of the Chinese Institute of Engineers

Year:

1995

Language:

english

File:

PDF, 769 KB

english, 1995

36

Proof systems for structured specifications with observability operators

Rolf Hennicker, Martin Wirsing, Michel Bidoit

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 3.52 MB

english, 1997

37

Human biliary mucin binds to E-selectin: a possible role in modulation of inflammation

Sreejayan, Nair, Wittig, Bianca M., von Stillfried, Niko, Hennicke, Matthias S., Meyer, Gunther, Stieber, Petra, Lamerz, Rolf, von Ritter, Christoph

Journal:

American Journal of Physiology - Gastrointestinal and Liver Physiology

Year:

2001

Language:

english

File:

PDF, 136 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски